مفاهیم «اولی، ضروری، بدیهی، یقینی» در منطق کلاسیک (صوری)

منطق صوری فهم معنای واژه‌های قرآن

قرآن کریم دارای سطوح مختلفی است؛ گاهی قرآن را به‌عنوان یک «کل منسجم» درنظر می‌گیریم، گاهی آن را در حد یک سوره تقلیل می‌دهیم، زمانی یک آیه را درنظر داریم و در نهایت ممکن است به یک واژه از قرآن بسنده کنیم. هریک از این چهار سطح ویژگی‌ها و ارکان خاصی دارد. چنان‌که روش تفسیر آیه به آیه شامل آیات قرآن می‌شود، این روش می‌تواند به‌عنوان منطق صوری فهم معنای واژه‌های قرآنی نیز به‌کار رود. مقاله حاضر درنظ...

ارائه مدل پیشنهادی صورت جریان‎های نقدی بر اساس منطق صوری

اختیار‎های اعطا شده در استاندارد بین‌المللی شماره 7 حسابداری در رابطه با طبقه‌بندی چهار قلم سود‎ها و بهره‎های دریافتی و پرداختی منجر به طبقه‎بندی‎های متنوعی در صورت جریان‎های نقدی شده و قابلیت مقایسه جریان‌های نقدی تاریخی شرکت‎های مختلف را کاهش می‎دهد. هدف پژوهش حاضر حل این چالش از طریق طراحی و ارائه مدل جدیدی برای صورت جریان‌های نقدی با بکارگیری منطق صوری است. مدل مذکور برای برآورده کردن سه هد...

چالشی در ادراکات بدیهی

حمل اولی و شایع در منطق قدیم و جدید

تفکیک حمل اولی ذاتی و حمل شایع صناعی، یکی از مهم ترین نوآوری های منطق دانان مسلمان است که با صراحت برای اولین بار در آثار علامه دوانی طرح و به کار گرفته شده است و منطق دانان بعدی مانند ملاصدرا و دیگران از این تفکیک در حل بسیاری از مسائل منطقی و فلسفی بهره جسته اند. با وجود این، تفکیک به صورت غیرصریح در آثار ارسطو، فارابی، ابن سینا و دیگران طرح و به صورت شگفت آوری با حمل اولی ذاتی مخالفت شده است...

بررسی مفاهیم قلب نحوی و مبتداسازی در زبان‌شناسی کلاسیک عربی

جابجایی ارکان جمله یکی از موضوعاتی است که توجه زبان‌شناسان را به خود جلب کرده است. قلب نحوی و مبتداسازی از جمله اصطلاحاتی است که زبان‌شناسان معاصر برای توضیح این پدیده بکار می‌برند. قلب نحوی، فرآیند جابجایی ارکان جمله به همراه نقش‌های دستوری و بدون ایجاد تغییری در معنای تحلیلی آن است، و مبتداسازی به فرآیند جابجایی ارکان جمله از جایگاه بی‌نشان (/ اولیة) خود به ابتدای جمله و قرار گرفتن در جایگاه ...